منابع مشابه
Holger Sturm THE TRUE BISIMULATIONS FOR ‘ SINCE ’ AND ‘ UNTIL ’
The aim of this paper is to establish a new notion of equivalence between temporal models, so-called S-similarity, as the appropriate notion of bisimilarity for temporal logic with Since and Until. The main technical results of the paper provide semantical characterizations of the first-order formulas that are equivalent to a temporal formula: Theorem 3.7 concerns the equivalence of temporal an...
متن کاملthe search for the self in becketts theatre: waiting for godot and endgame
this thesis is based upon the works of samuel beckett. one of the greatest writers of contemporary literature. here, i have tried to focus on one of the main themes in becketts works: the search for the real "me" or the real self, which is not only a problem to be solved for beckett man but also for each of us. i have tried to show becketts techniques in approaching this unattainable goal, base...
15 صفحه اولDetermination of rhodium: Since the origins until today Spectrophotometric methods.
Anthropogenic emission of platinum group elements (PGEs) from the abrasion of automotive catalytic converters into the environment has significantly increased. Dust emitted from the catalyst is causing pollution problems of these metals in the future. However, the concentration level of these PGEs is still very low in the nature. The choice of which determination method to use depends on the le...
متن کاملecho herbs and medicinal plants in the arabic poetry (since the tenth century until the twelfth)
to express their ideas, feeling, and imagination, a large number of ancient arab poets employed terminologies current in that period, especially those related to spices and herbals and their advantages. their main impetus came from their investigative instinct as well as their religious beliefs that emphasize the importance of herbals for their medical and nutritional benefits. hence, such subj...
متن کاملAn automata-theoretic decision procedure for propositional temporal logic with since and until
We present an automata-theoretic decision procedure for Since/Until Temporal Logic (SUTL), a linear-time propositional temporal logic with strong non-strict since and until operators. The logic, which is intended for specifying and reasoning about computer systems, employs neither next nor previous operators. Such operators obstruct the use of hierarchical abstraction and reenement and make rea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2004
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2002.010